This is a small fix for SMP PAE guest on x86-64.

Since part of the VMX guest initialization is running in the context of
dom0, so when we want to make sure the operation of shadow ops is
always done by vcpu0 of the guest VMX domain, we should make sure
the current vcpu0 is running in guest domain and not in the dom0.

Signed-off-by: Xiaohui Xin xiaohui.xin@intel.com
Signed-off-by: Xin Li <xin.b.li@intel.com>

diff --git a/xen/arch/x86/shadow_public.c b/xen/arch/x86/shadow_public.c
index 6216940244b78328870725dfd2bab9723a3adf52..23c489ac470e6a13adbd3f254ea8d09d808ea5cb 100644 (file)
--- a/xen/arch/x86/shadow_public.c
+++ b/xen/arch/x86/shadow_public.c
@@ -108,7 +108,7 @@ int shadow_set_guest_paging_levels(struct domain *d, int levels)
      * Need to wait for VCPU0 to complete the on-going shadow ops.
      */
 
-    if ( v->vcpu_id )
+    if ( v->domain == d && v->vcpu_id )
         return 1;
 
     shadow_lock(d);